Deriving object typestates in the presence of inter-object references
نویسندگان
چکیده
منابع مشابه
Deriving Object Typestates
We are interested in static analysis of Java classes with the goal of discovering the preconditions under which a certain program point within a method may be reached, taking into account the effects of previous method calls on an object of that class. The information pertinent to this computation is represented as the object’s typestate, which is a finite set of relevant predicates that abstra...
متن کاملMonotonic Typestates for the Object Calculus
Static analysis using typestates can ensure that dynamic object protocols are respected, for example that an object is accessed only after it is initialized. Typestate analyses often impose aliasing and linearity constraints, limiting their applicability to common practice. Monotone typestates avoid such constraints by limiting attention to properties that are stable under program dynamics, suc...
متن کاملInter-deriving Semantic Artifacts for Object-Oriented Programming
We present a new abstract machine for Abadi and Cardelli’s untyped calculus of objects. What is special about this semantic artifact (i.e., man-made construct) is that is mechanically corresponds to both the reduction semantics (i.e., small-step operational semantics) and the natural semantics (i.e., big-step operational semantics) specified in Abadi and Cardelli’s monograph. This abstract mach...
متن کاملIntra-Object versus Inter-Object: Concurrency and Reasoning in Creol
In thread-based object-oriented languages, synchronous method calls usually provide the mechanism to transfer control from caller to callee, blocking the caller until the call is completed. This model of control flow is well-suited for sequential and tightly coupled systems but may be criticized in the concurrent and distributed setting, not only for unnecessary delays but also for the reasonin...
متن کاملInter-Object and Intra-Object Concurrency in Creol
In traditional object-oriented languages, method calls are synchronous: The thread of control is passed from the caller to the callee, blocking the caller until the call is finished. This suits tightly coupled systems but leads to unnecessary delays in distributed environments, where objects are dispersed geographically. Another problem shared by thread-based object-oriented languages is that c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2005
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1103845.1094818